if a then c := 1 else c := 0 fi
